【缺陷周话】第 29 期：返回栈地址
*声明:《缺陷周话》栏目系列文章由360代码卫士团队原创出品。未经许可，禁止转载。
代码审计是使用静态分析发现源代码中安全缺陷的方法，辅助开发或测试人员在软件上线前较为全面地了解安全问题，防患于未然，因此一直以来都是学术界和产业界研究的热点，并已成为安全开发生命周期 SDL 和 DevSecOps 等保障体系的重要技术手段。
360代码卫士团队基于自主研发的国内首款源代码安全检测商用工具，以及十余年漏洞技术研究的积累，推出“缺陷周话”系列栏目。每周针对 CWE、OWASP 等标准中的一类缺陷，结合实例和工具使用进行详细介绍，旨在为广大开发和安全人员提供代码审计的基础性标准化教程。
缺陷周话 • 第29期
返回栈地址
1、返回栈地址
C/C++程序占用的内存分为以下几个部分：程序代码区、静态数据区、堆区、栈区，其中局部变量、函数参数等存放在栈区。栈区存储的变量由编译器自动分配和释放，当函数返回了指向该变量的指针，实际是返回了一个栈的地址，该地址在函数调用完成后即会失效，因此在编写代码时，应避免返回栈地址问题。详细请参见：CWE-562: Return of Stack Variable Address。
2、 返回栈地址的危害
返回栈地址通常会导致程序运行出错，原因是函数指向的地址中的内容随着函数生命周期结束而被释放了，此时指针指向的内容是不可预料的，对返回的栈地址进行访问会导致未定义的行为，甚至可能造成程序崩溃。
3、示例代码
示例源于Samate Juliet Test Suite for C/C++ v1.3 (https://samate.nist.gov/SARD/testsuite.php)，源文件名：CWE562_Return_of_Stack_Variable_Address__return_buf_01.c。
3.1缺陷代码
在上述示例代码中，在第14行声明和初始化了一个字符数组，并在17行使用 return charString; 进行返回，此时返回的是栈地址。因此该示例存在“返回栈地址”问题。
使用360代码卫士对上述示例代码进行检测，可以检出“返回栈地址”缺陷，显示等级为高。如图1所示：
图1：返回栈地址的检测示例
3.2 修复代码
在上述修复代码中，Samate 给出的修复方式为： 在第14行将字符数组定义为 static，当 static 用来修饰局部变量的时候，它就改变了局部变量的存储位置，从原来的栈中存放改为静态存储区，因此在第21行 return charString; 时，避免了返回栈地址。同时 Samate 样本也指出这并不是一个完全的顺应性例子，需要根据实际场景来针对性修复。
使用360代码卫士对修复后的代码进行检测，可以看到已不存在“返回栈地址”缺陷。如图2：
图2：修复后检测结果
4、如何避免返回栈地址
（1）注意指针指向的内存，避免返回栈地址。
（2）使用源代码静态分析工具，可以有效发现这类问题。
关联阅读
*360代码卫士团队原创出品。未经许可，禁止转载。转载请注明 “转自360代码卫士www.codesafe.cn”。
360代码卫士 (codesafe)
国内首个专注于软件开发安全的产品线。